21. Computer Algebra :
پدیدآورنده: edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.
رده :
QA155
.
7
.
E4
E358
1982
22. Computing with foresight and industry :
پدیدآورنده: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
23. Discrete mathematics /
پدیدآورنده: Seymour Lipschutz, Marc Lars Lipson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Outlines, syllabi, etc.,Computer science, Problems, exercises, etc.-- Mathematics.,Mathematics, Outlines, syllabi, etc.,Mathematics, Problems, exercises, etc.,Mathematics.,Computer science-- Mathematics.,Computer science.,Mathematics.
رده :
QA162
.
L767
2007
24. Discrete mathematics and its applications /
پدیدآورنده: Kenneth H. Rosen, Monmouth University, and formerly AT&T Laboratories.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Mathematics.,Computer science-- Mathematics.,Mathematics.
رده :
QA39
.
3
.
R67
2019
25. Discrete mathematics with proof
پدیدآورنده: Eric Gossett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA39
.
3
E753
2003
26. Economic and Financial Knowledge-Based Processing
پدیدآورنده: by Louis F. Pau, Claudio Gianotti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Economics.,Management information systems.
رده :
HG173
.
B956
1990
27. Essential algorithms :
پدیدآورنده: Rod Stephens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C# (Computer program language),Computer algorithms.,Python (Computer program language),C# (Computer program language),Computer algorithms.,Computers and IT.,COMPUTERS-- Programming-- Algorithms.,Python (Computer program language)
رده :
QA76
.
9
.
A43
S746
2019eb
28. Fully homomorphic encryption in real world applications /
پدیدآورنده: Ayantika Chatterjee, Khin Mi Mi Aung.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Homomorphisms (Mathematics),Cryptography-- Mathematics.,Homomorphisms (Mathematics),SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
QA268
29. Fundamentals of algorithmics
پدیدآورنده: Brassard, Gilles
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Recursion theory►Computer Algorithms
رده :
9
.
6
.
B7
30. Funtional Programming Languages in Education :
پدیدآورنده: edited by Pieter H. Hartel, Rinus Plasmeijer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
31. Guide to discrete mathematics :
پدیدآورنده: Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
32. How to think about algorithms
پدیدآورنده: Jeff Edmonds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Study and teaching ، Algorithms,Study and teaching ، Loops )Group theory(,Study and teaching ، Invariants,Study and teaching ، Recursion theory
رده :
QA
9
.
58
.
E35H6
33. How to think about algorithms
پدیدآورنده: Edmonds, Jeff, 1963-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Algorithms- Study and teaching ► Loops (Group theory)- Study and teaching ► Invariants- Study and teaching ► Recursion theory- Study and teaching
رده :
518
E24h
34. How to think about algorithms
پدیدآورنده: / Jeff Edmonds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Algorithms -- Study and teaching,Loops (Group theory) -- Study and teaching,Invariants -- Study and teaching,Recursion theory -- Study and teaching
رده :
QA9
.
58
.
E36H6
35. How to think about algorithms
پدیدآورنده: Edmonds, Jeff
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algorithms-- Study and teaching,، Loops )Group theory(-- Study and teaching,، Invariants-- Study and teaching,، Recursion theory-- Study and teaching
رده :
QA
9
.
58
.
E36
2008
36. Introduction to lattice theory with computer science applications /
پدیدآورنده: Vijay K. Garg
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Engineering mathematics.,Lattice theory.
رده :
QA76
.
9
.
L38
37. Language and Automata Theory and Applications :
پدیدآورنده: edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
38. Linear prediction theory :
پدیدآورنده: Peter Strobach
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA279
.
2
P484
2012
39. MATLAB software for the code excited linear prediction algorithm :
پدیدآورنده: Karthikeyan N. Ramamurthy and Andreas S. Spanias.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: CELP.,MATLAB.,MATLAB.,Coding theory.,Prediction theory.,Signal processing-- Mathematical models.,Speech processing systems-- Mathematical models.,Vocoder.,Coding theory.,COMPUTERS-- Optical Data Processing.,Electrical & Computer Engineering.,Electrical Engineering.,Engineering & Applied Sciences.,Prediction theory.,Signal processing-- Mathematical models.,Speech processing systems-- Mathematical models.,Vocoder.
رده :
TK7882
.
S65
R255
2010
40. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده: edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
